1. UML 2003 - The Unified Modeling Language : Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : Proceedings

by Stevens, Perdita | Booch, Grady | Whittle, Jon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 STE] (1).
2. DNA computing : 9th International Workshop on DNA Based Computers, DNA9 : Madison, WI, USA, June 1-3, 2003 : revised papers

by Chen, Junghuei | Reif, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHE] (1).
3. Medical imaging and augmented reality : second international workshop, MIAR 2004, Beijing, China, August 19-20, 2004 : proceedings

by Jiang, Tianzi | Yang, Guang-Zhong.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 YAN] (1).
4. Document analysis systems VI : 6th international workshop, DAS 2004, Florence, Italy, September 8-10, 2004 : proceedings

by Marinai, Simone | Dengel, Andreas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MAR] (1).
5. Artificial immune systems : Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004 : proceedings

by Nicosia, Giuseppe | Bentley, Peter J | Cutello, Vincenzo | Timmis, Jonathan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 NIC] (1).
6. Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings

by Godefroid, Patrick.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
7. Membrane Computing : International Workshop, WMC 2003 : Tarragona, Spain, July, 2003 : revised papers

by Martin-Vide, Carlos | Mauri, Giancarlo | Paun, Gheorghe | Saloma, Arto.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MAR] (1).

Powered by Koha